1. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
2. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : Brouwer, L. E. J.)Luitzen Egbertus Jan(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
3. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : Brouwer, L. E. J.)Luitzen Egbertus Jan(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
B76
1981
4. Brouwer's Cambridge lectures on intuitionism
پدیدآورنده : / edited by D. van Dalen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Intuitionistic mathematics
رده :
QA9
.
47
.
B76
1981
5. Geographical information systems and landscape archaeology /
پدیدآورنده : edited by Mark Gillings, David Mattingly and Jan van Dalen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Archaeology-- Data processing, Congresses,Archaeology-- Methodology, Congresses,Excavations (Archaeology)-- Data processing, Congresses,Geographic information systems, Congresses,Landscape archaeology-- Mediterranean Region, Congresses
6. Logic Colloquium '78
پدیدآورنده : / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon. -
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L63
,
1978
7. Logic Colloquium '80
پدیدآورنده : / edited by D. van Dalen, D. Lascar, T.J. Smiley. -
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.
رده :
BC
,
135
,.
L57
,
1982
8. Logic Colloquium'80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
پدیدآورنده : edited by D. van Dalen, D. Lascar, T.J. Smiley
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L63
1980
9. Routledge companion to the Qur'an /
پدیدآورنده : edited by George Archer, Maria M. Dakake and Daniel A. Madigan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Qur�an-- Criticism, interpretation, etc.,Qur�an.
رده :
BP130
.
4
.
R67
2021
10. The L. E. J. Brouwer Centenary Symposium
پدیدآورنده : / edited by A. S. Troelstra and D. Van Dalen
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Topology,Algebraic topology
11. The L.E.J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده : edited by A.S. Troelstra and D. Van Dalen
کتابخانه: (طهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
12. The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
پدیدآورنده : edited by A.S. Troelstra and D. van Dalen
کتابخانه: (طهران)
موضوع : Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
